package com.googlecode.kipler.test.owltestcases;

import org.junit.runner.RunWith;
import org.junit.runners.Suite;
import org.junit.runners.Suite.SuiteClasses;

import com.googlecode.kipler.test.owltestcases.dl98instance.AllDL98InstanceTests;
import com.googlecode.kipler.test.owltestcases.extendedsatisfiability.AllExtendedSatisfiabilityTests;
import com.googlecode.kipler.test.owltestcases.threesat.ThreeSATProblemTest;


@RunWith(value = Suite.class)
@SuiteClasses(value = { AllDL98InstanceTests.class,
		AllExtendedSatisfiabilityTests.class, ThreeSATProblemTest.class })
public class AllOWLTestCases {

}
